豊岡正庸; "ベース状況付きの弱下位直観主義論理に対する近傍意味論"
豊岡正庸
http://pssj.info/program_ver1/program_data_ver1/56/presentation/第56回大会要旨_豊岡正庸.pdf